n (mathematics) A function that does exactly the opposite of another; formally the inverse function f^{-1}\! of a function f\! exists such that: \forall x . f(x) = y \implies f^{-1}(y) = x.